#inferencia de restricciones